proof of differentiation formula of sec^-1(x)